Nuprl Definition : select?
11,40
postcript
pdf
as
[
i
]?
a
== if
i
<z ||
as
|| then
as
[
i
] else
a
fi
latex
Definitions
if
b
then
t
else
f
fi
,
i
<z
j
,
||
as
||
,
l
[
i
]
FDL editor aliases
select?
origin